• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
تعداد ۱۶ پاسخ غیر تکراری از ۱۶ پاسخ تکراری در مدت زمان ۲,۸۶ ثانیه یافت شد.

1. Logic Programming and Nonmonotonic Reasoning

پدیدآورنده: \ Francesco Calimeri , Giovambattista Ianni, Miroslaw Truszczynski (Eds.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Logic programming.,برنامه‌نویسی منطقی.,a05,a05,Logic programming -- Congresses.,Nonmonotonic reasoning -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها

رده :
QA
76
.
6
.
L6
2015
E-Book
,
مشاهده در قفسه مجازی RIS Bibtex ISO

2. Logic Programming and Nonmonotonic Reasoning :

پدیدآورنده: edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.,Logic programming.,Nonmonotonic reasoning.

رده :
QA76
.
63
.
L64
2019
مشاهده در قفسه مجازی RIS Bibtex ISO

3. Logic Programming and non-monotonic reasoning : Proceedings of the first international workshop

پدیدآورنده: edited by Anil-Nerode, Wiktor Marek, and V.S. Subrahmanian

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning

رده :
QA
76
.
63
.
I5
1991
مشاهده در قفسه مجازی RIS Bibtex ISO

4. Logic programming and nonmonotonic reasoning

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Logic programming ; Congresses. ; Nonmonotonic reasoning ; Congresses. ;

رده :
RIS Bibtex ISO

5. Logic programming and nonmonotonic reasoning :

پدیدآورنده: James P. Delgrande, Wolfgang Faber (editions.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic programming, Congresses,Nonmonotonic reasoning, Congresses

رده :
QA76
.
63
.
L66
2011
مشاهده در قفسه مجازی RIS Bibtex ISO

6. Logic programming and nonmonotonic reasoning :

پدیدآورنده: Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.

رده :
RIS Bibtex ISO

7. Logic programming and nonmonotonic reasoning :

پدیدآورنده: Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic programming, Congresses,Nonmonotonic reasoning, Congresses,Logic programming, Congresses,Nonmonotonic reasoning, Congresses

رده :
QA76
.
63
.
L74
1999
مشاهده در قفسه مجازی RIS Bibtex ISO

8. Logic programming and nonmonotonic reasoning

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)

موضوع: Logic programming congresses,Nonmonotonic reasoning congresses

رده :
QA
,
76
.
63
,.
L74
مشاهده در قفسه مجازی RIS Bibtex ISO

9. Logic programming and nonmonotonic reasoning

پدیدآورنده: Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic programming, Congresses,Nonmonotonic reasoning, Congresses

رده :
QA76
.
63
.
L74
2009eb
مشاهده در قفسه مجازی RIS Bibtex ISO

10. Logic programming and nonmonotonic reasoning :

پدیدآورنده: Pedro Cabalar, Tran Cao Son (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic programming, Congresses,Nonmonotonic reasoning, Congresses

رده :
QA76
.
63
.
L66
2013
مشاهده در قفسه مجازی RIS Bibtex ISO

11. Logic programming and nonmonotonic reasoning

پدیدآورنده: / Chitta Baral, Gerhard Brewka, John Schlipf (eds.)

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Logic programming--Congresses,Nonmonotonic reasoning--Congresses

رده :
QA
,
76
.
63
,.
L74
,
2007
مشاهده در قفسه مجازی RIS Bibtex ISO

12. Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 1997 : proceedings

پدیدآورنده: Jurgen Dix, Ulrich Fuhrbach, Anil Nerode, )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning

رده :
QA
76
.
L28
Vol
.
1265
مشاهده در قفسه مجازی RIS Bibtex ISO

13. Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings

پدیدآورنده: Chitta Baral... ]et al.[ )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning

رده :
QA
76
.
L28
Vol
.
3662
مشاهده در قفسه مجازی RIS Bibtex ISO

14. Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999 : proceedings

پدیدآورنده: Michael Gelfond, Nicola Leone, Gerald Pfeifer )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning

رده :
QA
76
.
L28
Vol
.
1730
مشاهده در قفسه مجازی RIS Bibtex ISO

15. Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings

پدیدآورنده: Vladimir Lifschitz, Ilkka Niemela )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning

رده :
QA
76
.
L28
Vol
.
2923
مشاهده در قفسه مجازی RIS Bibtex ISO

16. Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings

پدیدآورنده: Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning

رده :
QA
76
.
L28
Vol
.
2173
مشاهده در قفسه مجازی RIS Bibtex ISO
  • »
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال